4bab2f21422e60100ec4a0be10d8225f410a3ba1,elk-owlapi/src/test/java/org/semanticweb/elk/owlapi/proofs/RandomProofCompletenessTest.java,RandomProofCompletenessTest,randomProofCompletenessTest,#OWLProver#OWLSubClassOfAxiom#OWLOntology#Random#number#,150
Before Change
final OWLProver prover,
final OWLSubClassOfAxiom conclusion, final OWLOntology ontology,
final Random random, final long seed) {
final ProofNode<OWLAxiom> expr = prover.getProof(conclusion);
final Set<OWLAxiom> proofBreaker =
ProofTestUtils.collectProofBreaker(expr, ontology, random);
After Change
final OWLProver prover,
final OWLSubClassOfAxiom conclusion, final OWLOntology ontology,
final Random random, final long seed) {
final ProofNode<OWLAxiom> expr = prover.getProof(conclusion).getRoot();
final Set<OWLAxiom> proofBreaker =
ProofTestUtils.collectProofBreaker(expr, ontology, random);